constructive specification
英 [kənˈstrʌktɪv ˌspesɪfɪˈkeɪʃn]
美 [kənˈstrʌktɪv ˌspesɪfɪˈkeɪʃn]
【计】构造性规格说明
双语例句
- In this paper, a new constructive proving system, Specification Deduction, is presented.
本文中提出一个用于程序综合的构造证明系统，规范演绎。
美 [kənˈstrʌktɪv ˌspesɪfɪˈkeɪʃn]
【计】构造性规格说明